Formal description techniques and protocol specification, testing and verification - FORTE X / PSTV XVII'97
- Författare
- International Federation for Information Processing Tadanori Mizuno Testing and Verification (1997 : Osaka) IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification
- (IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November1997, Osaka, Japan edited by Tadanori Mizuno ..)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chapman & Hall on behalf of the International Federation for Information Processing | 1997 | Storbritannien, London | vii, 550 sidor. ill. |